Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
131	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh www.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Mathematics Mathematical proof Knowledge Automated theorem proving Heuristics Rippling
132	OUP UNCORRECTED PROOF – FIRST-PROOF, , NEWGEN Combination of 16 Creative Representations Scientific Discovery and Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2012-12-12 13:26:23 Cognition Philosophy of science Innovation Educational psychology Invention Patent law Creativity Scientific method Psychology of science Science Ethology Knowledge
133	OUP CORRECTED PROOF – FINAL, , SPi 1 Introduction The protection of cultural heritage, especially of the intangible type, is of growing international concern. International legal instruments and policy initia Add to Reading List Source URL: fdslive.oup.com Language: English - Date: 2013-09-30 10:45:19 Cultural heritage Traditional knowledge Cultural anthropology Conservation-restoration Intangible cultural heritage World Heritage Site Cultural diversity Masterpieces of the Oral and Intangible Heritage of Humanity Bien de Interés Cultural Cultural studies Culture Traditions
134	Protocols for Bounded-Concurrent Secure Two-Party Computation in the Plain Model Yehuda Lindell∗ Department of Computer Science Bar-Ilan University Ramat Gan, 52900, Israel Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2006-10-01 16:24:33 Universal composability Zero-knowledge proof Secure two-party computation Communications protocol Commitment scheme Actor model Proof of knowledge IP PP Cryptography Cryptographic protocols Secure multi-party computation
135	Interactive proofs with competing teams of no-signaling provers Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-07-24 10:11:20 NEXPTIME IP NP Soundness KeY Logic programming Interactive proof system Zero-knowledge proof Theoretical computer science Applied mathematics Complexity classes
136	Microsoft Word - DC1MUSEUMS POLICY - finalised after PROOF - READING.DOC Add to Reading List Source URL: www.dcalni.gov.uk Language: English - Date: 2011-03-22 07:42:02 Knowledge Museum Creativity Lifelong learning Collection Museology Education Types of museum
137	Efficient Fully-Simulatable Oblivious Transfer∗ Yehuda Lindell† Department of Computer Science Bar-Ilan University, Israel. Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-12-21 16:22:00 Oblivious transfer Decisional Diffie–Hellman assumption Commitment scheme Secure multi-party computation Communications protocol Zero-knowledge proof Proof of knowledge Cryptography Cryptographic protocols Universal composability
138	Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity Christina Garman, Matthew Green, Ian Miers, and Aviel D. Rubin The Johns Hopkins University Department of Computer Science, Baltimore, USA {cgarman Add to Reading List Source URL: fc14.ifca.ai Language: English - Date: 2014-02-18 12:20:10 Non-interactive zero-knowledge proof Zero-knowledge proof Proof-of-work system Proof of knowledge Random oracle Commitment scheme Cryptographic nonce NP IP Cryptography Cryptographic protocols Bitcoin
139	Verifiable Rotation of Homomorphic Encryptions ˇ Sebastiaan de Hoogh, Berry Schoenmakers, Boris Skori´ c, and Jos´e Villegas Dept. of Mathematics and Computer Science, TU Eindhoven P.O. Box 513, 5600 MB Eindhoven, The Add to Reading List Source URL: members.home.nl Language: English - Date: 2009-04-16 16:25:39 Fourier analysis Unitary operators Proof of knowledge Zero-knowledge proof NP IP Non-interactive zero-knowledge proof Homomorphic encryption Discrete Fourier transform Cryptography Cryptographic protocols Mathematical analysis
140	Vis-`a-vis Cryptography: Private and Trustworthy In-Person Certifications Ian Miers∗ Matthew Green∗ Christoph U. Lehmann, MD† Add to Reading List Source URL: sharps.org Language: English - Date: 2012-10-09 12:57:09 Non-interactive zero-knowledge proof Zero-knowledge proof IP Commitment scheme Alice and Bob NP Public-key cryptography Formal verification Digital signature Cryptography Cryptographic protocols Proof of knowledge

UPDATE